Detecting Deontic Conflicts in Dynamic Settings
نویسندگان
چکیده
Regulations, through the use of obligations and permissions, are widely used in modern society to define acceptable behaviours. Thus it is indeed important that these regulations do not conflict with each other and contain contradicting obligations. In the present paper we focus on identifying conflicts between obligations in dynamic settings. We first show the need of an alternative semantics rather than the more classic modelled by standard deontic logic. Second we introduce a new semantics for the obligations capable of representing and reasoning about them in these dynamic settings, and lastly we use it to identify the necessary and sufficient conditions to identify conflicting obligations.
منابع مشابه
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
We present proof-theoretical and semantical characterizations of two multi-agent deontic logics for dealing with normative conflicts. The resulting logics PMDL and PMDL are non-standard in at least two respects. First, they are nonclassical in the sense that they invalidate some inferences of the propositional fragment of Classical Logic (CL). Consequently, they also invalidate certain inferenc...
متن کاملASSESSING DEONTIC TRADE - OFFS : A CONJOINT ANALYSIS APPROACH Working Paper June , 2009 Ronald
Deontic conflicts are situations where you are “damned if you do and damned if you don’t” – where each of the available options will lead to an undersirable outcome or violation. How do people reason about deontic conflicts? In this paper we use the experimental technique of conjoint analysis to uncover the relevant decision factors that people use in such situations. Applications are to progra...
متن کاملAssessing Deontic Trade-offs: A Conjoint Analysis Approach
Deontic conflicts are situations where you are “damned if you do and damned if you don’t” – where each of the available options will lead to an undesirable outcome or violation. How do people reason about deontic conflicts? In this paper we use the experimental technique of conjoint analysis to uncover the relevant decision factors that people use in such situations. Applications are to program...
متن کاملConflicting Imperatives and Dyadic Deontic Logic
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to handle normative conflicts were devised by B. van Fraassen and J. F. Horty, but these are not sensitive to circumstances. The present paper extends these resolution mechanisms to circumstantial inputs, defines dyadic ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014